ADTA——数据流覆盖测试工具

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Dataflow TestFor Assembly     

基于遗传算法的多目标虚拟装配路径规划

针对以往求解路径规划问题中以路径最短为目标的局限性以及随机选取初始路径的缺陷,引入合适的目标函数和遗传算子,提出了一种基于遗传算法的多目标虚拟装配路径规划方法,利用大范围初始化的方式产生具有代表性的初始群体,设计了具有启发作用、适合路径规划的遗传算子,能够同时得到不同特点的多条路径,优化了装配路径.     

基于DM642的X264移植及优化

X264算法需要经过移植和优化才能满足实时处理的要求。文中首先分析了如何向DM642平台上移植X264代码,通过存储器优化、线性汇编改写等一系列优化措施实现了摄像头实时采集视频、编码及显示。最后完成了采集、回放独立编码运行于后台的Ping-Pong机制。实验表明,对CIF格式视频编码性能由优化前不足0.5帧/s达到20帧/s以上,此时PSNR下降不足3 dB。     

一种实时对中监测装置原理及误差分析研究

设计出了一种可实现实时对中监测的装置。该装置可以在静态和设备运行时进行对中状态监测,还可对设备或轴系引起的对中状态改变量进行测量。介绍了该装置的结构原理,并对其结构误差进行了讨论,结果表明,该装置的误差很小,可以很好满足工程需要。同时,还对该装置的装配误差进行了分析。     

Collaboration in contingent capacities with information asymmetry

We study the optimal contracting problem between two firms collaborating on capacity investment with information asymmetry. Without a contract, system efficiency is lost due to the profit‐margin differentials among the firms, demand uncertainty, and information asymmetry. With information asymmetry, we demonstrate that the optimal capacity level is characterized by a newsvendor formula with an upward‐adjusted capacity investment cost, and no first‐best solution can be achieved. Our analysis shows that system efficiency can always be improved by the optimal contract and the improvement in system efficience is due to two factors. While the optimal contract may bring the system's capacity level closer to the first‐best capacity level, it prevents the higher‐margin firm from overinvesting and aligns the capacity‐investment decisions of the two firms. Our analysis of a special case demonstrates that, under some circumstances, both firms can benefit from the principal having better information about the agent's costs. © 2007 Wiley Periodicals, Inc. Naval Research Logistics 54:, 2007     

非致命武器虚拟拆装训练系统设计

主要论述了非致命武器虚拟拆装训练系统的功能设计、软硬件组成,进行非致命武器虚拟拆装的工作流程,系统开发平台的选择以及系统管理、虚拟拆装、操作考核等三个模块。从而建立了武警部队非致命武器虚拟拆装训练系统构成,为武警部队武器装备信息化建设提供智力支持。     

交叉汇编器设计

本文讨论了交叉汇编器设计中的两个关键问题:先引用、后定义内部符号的处理和利用外部符号进行模间通信。提出了一种统一的处理办法——随机文件代真法。实践证明十分简洁有效。     

基于装配的计算机辅助设计

本文介绍了基于装配的计算机辅助设计（ＣＡＤ）的发展和相关工作,提出了一种组合体在计算机内的表征方案,并且着重对三维形体的计算机辅助图形装配技术进行了研究     

基于网络的虚拟装配可视化技术研究

分析了在计算机上实现虚拟装配的流程及如何用VRML创建三维可视化的虚拟场景,提出一种基于VRML和Java的虚拟现实构建方法,用以增强VRML虚拟场景与外界的交互性,并以球阀为例给出了在网络上创建虚拟装配动画演示的具体方案.该方法不仅可用于演示网络环境下的可视化装配,也适合于其它领域基于Web的科学可视化.     

汇编语言的单元测试技术研究

汇编语言具有非结构化、非标准化、硬件相关性高、灵活性极大等特性,单元测试难度较大.针对汇编语言的特点,论述了汇编语言单元测试过程中功能测试、结构覆盖率测试和性能测试的方法和步骤.